第1章
Radix ST工具概述
Radix ST是什么、核心功能、在验证流程中的定位。
基础工具
第2章
FormalNode工具概述
FormalNode是什么、核心功能、与Radix ST的关系。
基础形式化
第3章
联合调试环境搭建
安装与配置、License设置、环境变量检查。
环境配置
第4章
Radix ST基础操作
启动界面、加载设计、设置时钟与复位。
操作仿真
第5章
FormalNode基础操作
启动界面、加载约束、运行形式化检查。
操作形式化
第6章
联合调试第一步
从Radix ST导出波形到FormalNode。
联合波形
第7章
联合调试第二步
在FormalNode中定位反例。
反例定位
第8章
联合调试第三步
将反例回溯到Radix ST进行仿真。
回溯仿真
第9章
波形对比技巧
Radix ST波形与FormalNode反例波形的对齐方法。
波形对齐
第10章
断言调试
如何在Radix ST中复现FormalNode的断言失败。
断言复现
第11章
覆盖分析
利用Radix ST的覆盖率数据指导FormalNode的边界检查。
覆盖率边界
第12章
性能优化
减少联合调试中的波形加载时间。
性能加载
第13章
脚本化调试
使用Tcl脚本自动化Radix ST与FormalNode的交互。
脚本自动化
第14章
常见问题1：波形不匹配
波形不匹配的根因分析。
FAQ波形
第15章
常见问题2：状态爆炸
FormalNode状态爆炸时的应对策略。
FAQ状态爆炸
第16章
常见问题3：仿真速度慢
Radix ST仿真速度慢的优化方法。
FAQ优化
第17章
高级技巧1：假设约束
使用FormalNode的假设约束缩小Radix ST的搜索空间。
高级约束
第18章
高级技巧2：断点功能
利用Radix ST的断点功能辅助FormalNode调试。
高级断点
第19章
高级技巧3：多核并行
多核并行调试的配置与注意事项。
高级并行
第20章
实战案例1：FIFO设计
一个简单的FIFO设计联合调试。
实战FIFO
第21章
实战案例2：状态机
一个复杂的状态机联合调试。
实战状态机
第22章
实战案例3：总线协议
一个总线协议验证的联合调试。
实战总线
第23章
实战案例4：低功耗设计
一个低功耗设计的联合调试。
实战低功耗
第24章
实战案例5：安全模块
一个安全模块的联合调试。
实战安全
第25章
调试报告生成
如何从Radix ST和FormalNode导出联合调试报告。
报告导出
第26章
团队协作与版本管理
多人同时使用Radix ST与FormalNode的版本管理。
协作版本
第27章
工具对比
Radix ST+FormalNode vs 其他联合调试方案。
对比方案
第28章
未来趋势：AI辅助
AI辅助的联合调试技术展望。
趋势AI
第29章
总结与最佳实践
联合调试的10条黄金法则。
总结法则
第30章
附录：命令速查与资源
常用命令速查表与资源链接。
附录速查